- конъюнктивная нормальная форма (КНФ)
-
конъюнктивная нормальная форма (КНФ)
—
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- standard product of sums
Справочник технического переводчика. – Интент. 2009-2013.
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
K-конъюнктивная нормальная форма — (k КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов, каждый из которых содержит ровно k литералов. Например, следующая формула записана в 2 КНФ … Википедия
Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… … Википедия
КНФ — конъюнктивная нормальная форма матем. КНФ косилка навесная фронтальная Словарь: С. Фадеев. Словарь сокращений современного русского языка. С. Пб.: Политехника, 1997. 527 с. КНФ контрольно надзорная функция … Словарь сокращений и аббревиатур
КНФ — Конъюнктивная нормальная форма (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов. Например, следующие формулы записаны в КНФ: Конъюнктивная нормальная форма удобна для автоматического… … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
СКНФ — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактиро … Википедия